-
1 математичний
математичний апарат — body of mathematics, mathematical apparatus, mathematical tool
-
2 формалізація
ФОРМАЛІЗАЦІЯ (від лат. formalis - складений за формою) у математичній логіці - метод подання змістової теорії як числення. Ф. полягає в заміні всіх змістових тверджень відповідними їм послідовностями символів або формулами; у виявленні і перебудові структури теорії, внаслідок чого теорія набуває вигляду ланцюга формул, де кожна наступна логічно випливає з однієї або кількох попередніх (див. аксіоматичний метод, логістичний метод). Ф. використовують у математиці, логіці і в тих науках, рівень розвитку яких дає змогу застосовувати математичний апарат. Ф. як засіб пізнання має велике значення, зокрема, прокладає шлях "кібернетизації" знання та мислення - передачі машинам певної сторони інтелектуальної діяльності людини (див. штучний інтелект). Успіхи формалізації привели до перебільшення її пізнавальної ролі, особливо логічним позитивізмом. Проте, як виявилося, повністю можна формалізувати лише певні фрагменти змістових теорій, а не теорію в цілому.П. Йолон
См. также в других словарях:
математичний — а, е. 1) Що використовує методи математики для вивчення чого небудь (про яку небудь науку, галузь знання). 2) Власт. математиці, такий, як у математиці. •• Математи/чна еконо/міка частина економічної теорії, що використовує математичні методи і… … Український тлумачний словник
апарат — аппарат apparatus Apparat 1) Прилад або пристрій. 2) Метод, спосіб дослідження (математичний А., тощо). 3) Установа або сукупність працівників установи. 4). Примітки та ін. допоміжні матеріали до наукової праці … Гірничий енциклопедичний словник
модель економічного зростання — складова й основний математичний апарат теорій економічного зростання , що одержав також поширення поза цими теоріями, зокрема в оцінюванні народногосподарської ретроспективи і в задачах прогностичного характеру … Термінологічно-тлумачний словник "Моделювання економіки"
